Truth selection for truth discovery models exploiting ordering relationship among values

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hypersets as truth values

The hypersets are shown to play the truth values of stable properties of nondeterministc dynamical systems. In fact, the universe of hereditory nite hypersets, with the truth value as an atom added, is shown to be the subobject classi er of the category of simulations of nondeterministic dynamical systems.

متن کامل

Truth Discovery: CoTruth

. More and more people choose to obtain news online in today’s world. However, in recent times, there exists many fake claims on web. Rumor detection has been a popular topic. Recent search on truth discovery still doesn’t satisfy the realistic requirments now. As most of them focus on structured data, others proposed a new method to detect fake news with unstructured data. That is combine sour...

متن کامل

Aggregating Truth and Falsity Values

We propose an axiom set for the aggregation of truth values, which leads to the characterization of two truth-aggregation families, a prudent and an enthusiastic. The first one has a cautious attitude choosing between two observed values the one which is more uncertain. The second one has an enthusiastic behavior and will reinforce the result if it observes twice the truth or twice the falsity....

متن کامل

Truth Values and Proof Theory

I present an account of truth values for classical logic, intuitionistic logic, and the modal logic s5, in which truth values are not a fundamental category from which the logic is defined, but rather, an idealisation of more fundamental logical features in the proof theory for each system. The result is not a new set of semantic structures, but a new understanding of how the existing semantic ...

متن کامل

Truth Values and Connectives in Some Non-Classical Logics

The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Knowledge-Based Systems

سال: 2018

ISSN: 0950-7051

DOI: 10.1016/j.knosys.2018.06.023